Revision: sks--mainline--1.0--patch-11
Archive: yminsky@cs.cornell.edu--2004
Creator: Yaron Minsky <yminsky@cs.cornell.edu>
Date: Sun Jul 18 09:12:27 EDT 2004
Standard-date: 2004-07-18 13:12:27 GMT
Modified-files: catchup.ml
New-patches: yminsky@cs.cornell.edu--2004/sks--mainline--1.0--patch-11
Summary: Added hack to avoid effect of spurious sigalrm
Keywords: 

Some users have reported sigalrms waking up the system in inappropriate
spots.  I can't quite figure out why this is happening given the use of the
Unix.alarm call, but this patch should eliminate the problem.
